<?php echo $codigo;